Azimuth Verification of the MeSO-net Seismographs
نویسندگان
چکیده
منابع مشابه
Verification of Meso-Zeaxanthin in Fish
BACKGROUND/OBJECTIVES The carotenoids lutein (L), zeaxanthin (Z), and meso-zeaxanthin (MZ) accumulate in the central retina (the macula), where they are collectively known as macular pigment (MP). MP has been shown to enhance visual function in both diseased and non-diseased retinae, and therefore an understanding and confirmation of, the origins of these carotenoids is needed. Studies have sho...
متن کاملMoonWalker: Verification of .NET Programs
MoonWalker is a software model checker for cil bytecode programs, which is able to detect deadlocks and assertion violations in cil assemblies, better known as Microsoft .NET programs. The design of MoonWalker is inspired by the Java PathFinder (jpf), a model checker for Java programs. The performance of MoonWalker is on par with jpf. This paper presents the new version of MoonWalker and discus...
متن کاملRuntime verification of .NET contracts
We propose a method for implementing behavioral interface specifications on the .NET platform. Our interface specifications are expressed as executable model programs. Model programs can be run either as stand-alone simulations or used as contracts to check the conformance of an implementation class to its specification. We focus on the latter, which we call runtime verification. In our framewo...
متن کاملStore Managers – the Seismographs in Shopping Centres Store Managers – the Seismographs in Shopping Centres
Purpose: The aim of this paper is to investigate (1) the link between store managers’ evaluation of how customers assess a shopping centre and their own evaluation of the centre and, based on that, (2) the relevance of store managers in reflecting upon and informing the management and marketing practices of the local shopping centre management. Methodology: A conceptual model is developed based...
متن کاملDiagnostic Verification of the IRI Net Assessment Forecasts, 1997–2000
The International Research Institute (IRI) for Climate Prediction produces operational outlooks for seasonal (3-month periods) average temperature and for total precipitation, at lead times of 0 and 3 months (Mason et al. 1999). These outlooks are probabilistic in nature and subjectively produced. During the 1997–2000 period considered here, two seasonal forecasts, at 0and 3month lead times, we...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Zisin (Journal of the Seismological Society of Japan. 2nd ser.)
سال: 2015
ISSN: 0037-1114,1883-9029,2186-599X
DOI: 10.4294/zisin.68.31